»Personalie: Langjähriger Google-Manager wird neuer Siri-Chef«, via @ifun — https://www.ifun.de/personalie-langjaehriger-google-manager-wird-neuer-siri-chef-124477/